- interpretable theory
- мат.интерпретируемая теория
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Interpretable structure — In model theory, a structure N is called interpretable in M if all the components (universe, functions, relations etc.) of N can be defined in terms of the components of M . In particular, the universe of N is represented as a definable subset of … Wikipedia
Interpretation (model theory) — In model theory, interpretation of a structure M in another structure N (typically of a different signature) is a technical notion that approximates the idea of representing M inside N . For example every reduct or definitional expansion of a… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Computational theory of mind — In philosophy, the computational theory of mind is the view that the human mind is an information processing system and that thinking is a form of computing. The theory was proposed in its modern form by Hilary Putnam in 1961[citation needed] and … Wikipedia
General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… … Wikipedia
Structural information theory — (SIT) is a theory about human perception and, in particular, about perceptual organization, that is, about the way the human visual system organizes a raw visual stimulus into objects and object parts. SIT was initiated, in the 1960s, by Emanuel… … Wikipedia
Minimalist program — Linguistics … Wikipedia
Symbol grounding — The Symbol Grounding Problem is related to the problem of how words (symbols) get their meanings, and hence to the problem of what meaning itself really is. The problem of meaning is in turn related to the problem of consciousness, or how it is… … Wikipedia
Transformational grammar — In linguistics, a transformational grammar, or transformational generative grammar (TGG), is a generative grammar, especially of a natural language, that has been developed in a Chomskyan tradition. Additionally, transformational grammar is the… … Wikipedia
Linguistic minimalism — Minimalism in the sense described here is not related to Minimalism, the artistic and cultural movement. Much current research in transformational grammar is inspired by Noam Chomsky s Minimalist Program . [cite book|title=The Minimalist… … Wikipedia
History of molecular biology — The history of molecular biology begins in the 1930s with the convergence of various, previously distinct biological disciplines: biochemistry, genetics, microbiology, and virology. With the hope of understanding life at its most fundamental… … Wikipedia